﻿using System;
using System.Collections.Generic;
using System.Text;

using Mighty.Lib.SensedTypes;

namespace Mighty.Lib.Document
{
    public interface IDocument
    {
        void ResizeHandler();
        List<string> Contents { get; set; }
        List<Namespace> LoadedNamespaces { get; }
        IDocumentModel DocumentModel { get; }
        /// <summary>
        /// Should be false for New Documents. True for all else. Used to indicate whether a
        /// "save as" dialog should be displayed when saving.
        /// </summary>
        bool HasBeenSavedBefore { get; set; }
        string Name { get;set;}
        string FullPath { get; set; }
        string ParseType { get; set; }
    }
}
